大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Meeting on Mathematical Aspects of Finite Element Methods 的图书(共4761本)

Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

0
索取号：
作者：Lau、 Kung-Kiu.、Banach、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

0
索取号：
作者：Romijn、 Judi.、Smith、 Graeme.、Pol、 Jaco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Variational, Geometric, and Level Set Methods in Computer Vision [electronic resource] : Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005. Proceedings

0
索取号：
作者：Paragios、 Nikos.、Faugeras、 Olivier.、Chan、 Tony.、Schn枚rr、 Christoph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings

0
索取号：
作者：Rangarajan、 Anand.、Vemuri、 Baba.、Yuille、 Alan L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing-ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

0
索取号：
作者：Hung、 Dang.、Wirsing、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr眉cken, Germany, October 3-6, 2005. Proceedings

0
索取号：
作者：Borrione、 Dominique.、Paul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Scale Space and PDE Methods in Computer Vision [electronic resource] : 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

0
索取号：
作者：Kimmel、 Ron.、Sochen、 Nir A.、Weickert、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Network Security [electronic resource] : Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

0
索取号：
作者：Gorodetsky、 Vladimir.、Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

0
索取号：
作者：Beigl、 Michael.、Lukowicz、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings

0
索取号：
作者：Blache、 Philippe.、Stabler、 Edward.、Busquets、 Joan.、Moot、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI Users鈥Dzoup Meeting Sorrento, Italy, September 18-21, 2005. Proceedings

0
索取号：
作者：Martino、 Beniamino.、Kranzlm眉ller、 Dieter.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 鈥൬ 2004, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29鈥揝eptember 2, 2005. Proceedings

0
索取号：
作者：Je抬drzejowicz、 Joanna.、Szepietowski、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.